821. Tool and object: a history and philosophy of category theory
پدیدآورنده : Kromer, Ralf
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Categories )Mathematics(-- History,، Categories )Mathematics(-- Philosophy
رده :
QA
169
.
K76
2007
822. Toward "Principia mathematica", 1905-08 /
پدیدآورنده : Bertrand Russell ; edited by Gregory H. Moore.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.
رده :
B1649
.
R91
1983
823. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
824. Towards a Philosophy of Critical Mathematics Education
پدیدآورنده : by Ole Skovsmose.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Education -- Philosophy.,Education.,Mathematics.
رده :
QA11
.
B965
1994
825. Towards an arithmetical logic :
پدیدآورنده : by Yvon Gauthier
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
826. Towards an arithmetical logic :
پدیدآورنده : Yvon Gauthier
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
827. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
828. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
829. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
830. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
831. Transformation and tradition in the sciences: essays in honor of I. Bernard Cohen
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Cohen, I. Bernard, 4191-,History ، Science,Philosophy ، Science,History ، Mathematics,Philosophy ، Mathematics,History ، Science-- United States
رده :
Q
126
.
8
.
T73
1984
832. Translations from the philosophical writings of Gottlob Frege
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
BC
135
.
F73T7
1980
833. Triangle of thoughts
پدیدآورنده : Connes, Alain
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Philosophy ، Science,، Mathematics,، Physics
رده :
Q
175
.
3
.
C66313
2001
834. Truth in mathematics
پدیدآورنده : Edited by H. G. Dales and G. Oliveri
کتابخانه: (کرمان)
موضوع : Mathematics - Philosophy,Truth
رده :
QA
8
,.
4
.
T78
835. Truth in mathematics
پدیدآورنده : edited by H. G. Dales and G. Oliveri
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Truth
رده :
QA
8
.
4
.
T78
836. Truth in mathematics
پدیدآورنده : Edited by H. G. Dales and G. Oliveri
کتابخانه: (کرمان)
موضوع : Mathematics - Philosophy,Truth
رده :
QA
8
,.
4
.
T78
837. Truth in mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics ; Philosophy ; Truth ;
838. Truth in mathematics
پدیدآورنده : edited by H.G. Dales and G. Oliveri
کتابخانه: (طهران)
موضوع : Philosophy ، Mathematics,، Truth
رده :
QA
8
.
4
.
T78
1998
839. Truth in mathematics
پدیدآورنده : edited by H.G. Dales and G. Oliveri
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Truth
رده :
QA
8
.
4
.
T78
1998
840. Truth, objects, infinity : new perspectives on the philosophy of Paul Benacerraf
پدیدآورنده : Fabrice Pataut, editor
کتابخانه: (طهران)
موضوع : ، Benacerraf, Paul,، Mathematics -- Philosophy
رده :
QA
29
.
B515T7
